VDict - Definition of Propositional Dynamic Logic

Word not found. Suggestions:

Reverse definition search (Computing (FOLDOC) dictionary):

propositional logic predicate logic modal logic PDL propositional calculus PLTL neutrosophic logic temporal logic equational logic EQLog logic Emitter Coupled Logic Algebraic Logic Functional language F+L LeFun Programmable Array Logic TEMPLOG symbolic logic LO classical logic linear logic first-order logic dynamic DBMS BABEL logic emulator dynamic RAM dynamic analysis Euphoria intuitionistic logic P-Prolog Lolli dynamic scoping LOGIN intuitionistic probability Dynamic Execution JavaServer Pages quantifier HOL Dynamic Data Linking Distributed Logic Programming Dynamic Data Exchange Horn clause {log} DYSTAL two-valued logic Constraint Handling In Prolog connective HCLP field-programmable gate array Arithmetic and Logic Unit Dylperl Tempura VULCAN memory leak intuitionist logic Gunning Transceiver Logic Universal algebra dynamic binding Terse PRISM more...